Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
391	“Contrariwise,” continued Tweedledee, “if it was so, it might be; and if it were so, it would be; but as it isn’t, it ain’t. That’s logic.” 6 True and False Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:13 Predicate logic Functions and mappings Function Scheme Predicate Test Lisp Conditional Logic Mathematics Mathematical logic
392	This article was downloaded by: [Princeton University] On: 21 June 2012, At: 09:22 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: [removed]Registered office: Mortimer House, 37- Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-06 02:48:26 Philosophical logic Deduction Thought Predicate logic Inference Reason First-order logic Deductive reasoning Quantification Logic Science Reasoning
393	Loom Reference Manual Version 2.0 David Brill December 28, 1993 c 1993 by the University of Southern California. All rights reserved. Add to Reading List Source URL: www.isi.edu Language: English - Date: 2001-02-16 19:08:53 Mathematical logic Function Subroutine Predicate Objective-C Eval Computer programming Software engineering Computing
394	Radically Incomplete Reasoning about Containers: A First-Order Theory Ernest Davis September 28, 2013 This paper is a supplement to the paper, “Reasoning about Containers and Manipulation using Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-09-28 11:14:55 Model theory Predicate logic Metalogic S Set theory Z notation Functional predicate First-order logic Function Mathematical logic Mathematics Logic
395	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
396	On Formal Specification of a Proof Tool∗ R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:33:45 First-order logic Model theory Predicate logic Axiom Zermelo set theory Function Well-formed formula Logic Mathematics Mathematical logic
397	Gather-predicates: massiness over participants Jeremy Kuhn, New York University Overview. Predicates like gather and be numerous have both been described as “collective predicates,” due to syntactic and semantic fact Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:31 Predicate logic Mathematics Grammar Quantification Predicate Cumulativity Mereology Plural quantification Property Logic Mathematical logic Semantics
398	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
399	Coupling Semi-Supervised Learning of Categories and Relations Andrew Carlson1 , Justin Betteridge1 , Estevam R. Hruschka Jr.1,2 and Tom M. Mitchell1 1 School of Computer Science Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: rtw.ml.cmu.edu Language: English - Date: 2009-04-19 21:15:00 Machine learning Semantics Coupled pattern learner Natural language processing Computational linguistics Semantic Web Predicate Word-sense disambiguation Categories Logic Science Linguistics
400	Bidirectional parsing a functional/logic perspective Peter Kourzanov NXP Eindhoven/TU Delft, Netherlands [removed] Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Formal languages Parsing Computability theory Recursion Compiler construction Parsing expression grammar Left recursion Syntactic predicate Attribute grammar Software engineering Computing Computer programming

UPDATE